|
|
|
|
cardinal a   
isa a ~ cardinal A